ar X iv : m at h / 06 04 02 9 v 1 [ m at h . A T ] 3 A pr 2 00 6 SECONDARY HOMOTOPY GROUPS
نویسنده
چکیده
Secondary homotopy groups supplement the structure of classical homotopy groups. They yield a track functor on the track category of pointed spaces compatible with fiber sequences, suspensions and loop spaces. They also yield algebraic models of (n − 1)-connected (n + 1)-types for n ≥ 0. Introduction The computation of homotopy groups of spheres in low degrees in [Tod62] uses heavily secondary operations termed Toda brackets. Such bracket operations are defined by pasting tracks where a track is a homotopy class of homotopies. Since Toda brackets play a crucial role in homotopy theory it seems feasible to investigate the algebraic nature of tracks. Therefore we shift focus from homotopy groups πnX to secondary homotopy groups πn,∗X = (πn,1X ∂ −→ πn,0X) defined in this paper. Here ∂ is a homomorphism of groups with Coker∂ = πnX and Ker ∂ = πn+1X . The groups πn,0X and πn,1X are defined directly by use of continuous maps f : S → X and tracks of such maps to the trivial map, so that πn,∗X is actually a functor in X . For n ≥ 2 the definition involves the new concept of Hopf invariant for tracks. We show that the homomorphism ∂ has additional algebraic structure, namely π1,∗X is a crossed module, π2,∗X is a reduced quadratic module and πn,∗X , n ≥ 3, is a stable quadratic module. Crossed modules were introduced by J. H. C. Whitehead in [Whi49] and, in fact, for a CW -complex X our secondary homotopy group π1,∗X is weakly equivalent to the crossed module π2(X,X ) −→ π1X 1 studied by [Whi49]. Similarly πn,∗X for n ≥ 2 is weakly equivalent to the quadratic modules obtained in [Bau91] in terms of the cell structure of X which can also be derived from the Kan loop simplicial group associated toX , see for example [Con84] and [BCC93]. The topological and functorial definition of secondary homotopy groups πn,∗X is crucial to understand new properties of these concepts in the literature. For 1991 Mathematics Subject Classification. 18D05, 55Q25, 55S45.
منابع مشابه
ar X iv : m at h / 06 04 02 9 v 2 [ m at h . A T ] 1 7 O ct 2 00 6 SECONDARY HOMOTOPY GROUPS
Secondary homotopy groups supplement the structure of classical homotopy groups. They yield a 2-functor on the groupoid-enriched category of pointed spaces compatible with fiber sequences, suspensions and loop spaces. They also yield algebraic models of (n− 1)-connected (n+1)-types for n ≥ 0. Introduction The computation of homotopy groups of spheres in low degrees in [Tod62] uses heavily secon...
متن کاملar X iv : m at h / 02 06 04 1 v 2 [ m at h . FA ] 9 S ep 2 00 2 Abstract harmonic analysis , homological algebra , and operator spaces
harmonic analysis, homological algebra, and operator spaces
متن کاملar X iv : m at h / 02 04 28 5 v 1 [ m at h . G T ] 2 3 A pr 2 00 2 FIBER SUMS OF GENUS 2 LEFSCHETZ FIBRATIONS
Using the recent results of Siebert and Tian about the holomorphicity of genus 2 Lefschetz fibrations with irreducible singular fibers, we show that any genus 2 Lefschetz fibration becomes holomorphic after fiber sum with a holomorphic fibration.
متن کاملar X iv : m at h / 02 06 04 1 v 3 [ m at h . FA ] 5 O ct 2 00 2 Abstract harmonic analysis , homological algebra , and operator spaces
harmonic analysis, homological algebra, and operator spaces
متن کاملar X iv : m at h / 06 04 63 5 v 1 [ m at h . A P ] 2 8 A pr 2 00 6 PARTIAL REGULARITY FOR HARMONIC MAPS , AND RELATED PROBLEMS
Via gauge theory, we give a new proof of partial regularity for harmonic maps in dimensions m ≥ 3 into arbitrary targets. This proof avoids the use of adapted frames and permits to consider targets of ”minimal” C regularity. The proof we present moreover extends to a large class of elliptic systems of quadratic growth.
متن کامل